T&E Process for Safety-Critical CNS/ATM Systems
نویسندگان
چکیده
منابع مشابه
A Safe Change Oriented Process for Safety Critical Systems
The development of aviation engine control soft ware is a prime example of a process in which the overriding concern is safety In building such a com plex system change is inevitable This paper discusses the aims of CONVERSE an EPSRC funded project to investigate change management in safety critical soft ware development The aim is to reduce the costs which occur due to change while allowing ra...
متن کاملSafety - Critical Systems Design
Introduction Embedded systems are like normal desktop systems in that they have functional requirements, that is, functions that the system is expected to perform, such as moving the robot arms. One of the ways embedded systems differ from desktop systems is that they also have significant quality of service (QoS) requirements as well. In real-time embedded systems, for example, timeliness and ...
متن کاملLightweight Contracts for Safety-Critical Automotive Systems
Complex automotive systems are composed of subsystems and components in a deep hierarchy, often designed by different development partners or reused from preexisting projects. It is therefore a challenging task to break down requirements into sub-requirements fitting the scope of the subsystems and to simultaneously demonstrate that the integrated system fulfills both functional and safety requ...
متن کاملSupporting Formal Reasoning for Safety Critical Systems
Formal methods can signiicantly assist in the design and modelling of safety-critical systems. However, formal methods are frequently criticised as being unusable through being too complex and requiring expert knowledge to use. We assert that to make formal methods usable they must be able to be presented in a manner which is readily interpretable. However, we must ensure that the inferences wh...
متن کاملCOTS Product Selection for Safety-Critical Systems
There is an increasing interest in acquiring commercial-off-the-shelf (COTS) functionality for safety-critical applications. However, the selection of COTS products for such applications is still carried out in an ad hoc manner. This creates great difficulties for realistic cost and effort estimation, integration of the selected COTS product, and the certification of final COTS-based safetycrit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Advanced Navigation Technology
سال: 2017
ISSN: 1226-9026
DOI: 10.12673/jant.2017.21.1.50